95.57/97.93	unsat
