8.67/8.77	unsat
