8.71/10.19	unsat
