95.52/96.97	unsat
