0.69/0.81	unsat
