6.87/8.35	unsat
