8.68/8.77	unsat
