6.17/8.05	unsat
