95.87/96.68	unsat
