6.17/7.78	unsat
