250.84/254.24	unsat
