6.87/8.68	unsat
