92.10/95.59	unsat
