impr:specmicp allow retrieving solution in unsafe mode

Unsafe means that not checking is performed. More tests is needed to see
where it matters.