6.87/8.85	unsat
