8.06/8.10	unsat
