92.12/93.90	unsat
