8.82/16.19	unsat
