92.74/96.26	unsat
