95.07/96.61	unsat
