6.89/8.68	unsat
