8.69/11.10	unsat
