92.28/94.90	unsat
