5.13/7.05	unsat
