6.57/8.35	unsat
