6.25/7.05	unsat
