92.98/97.89	unsat
