7.16/8.68	unsat
