95.96/96.28	unsat
