92.90/96.29	unsat
