95.94/96.49	unsat
