6.87/7.85	unsat
