8.93/9.79	unsat
