6.79/6.85	unsat
