7.92/9.10	unsat
