250.26/254.06	unsat
