5.77/7.05	unsat
