247.04/249.28	unsat
