5.48/7.05	unsat
