95.24/95.48	unsat
