0.54/0.82	unsat
