1.48/1.82	unsat
