249.34/252.43	unsat
