6.77/8.85	unsat
