7.28/12.05	unsat
