0.48/0.82	unsat
