6.77/8.35	unsat
