248.31/249.60	unsat
