9.58/10.19	unsat
