242.37/245.83	unsat
