95.94/97.37	unsat
