92.59/95.51	unsat
