95.72/97.21	unsat
