249.30/253.49	unsat
