249.60/252.79	unsat
