250.94/254.13	unsat
