0.81/0.83	unsat
