9.67/9.79	unsat
