246.31/249.12	unsat
