1.49/1.82	unsat
