0.84/0.90	unsat
