244.67/249.28	unsat
