8.67/8.79	unsat
