92.07/95.29	unsat
