11.42/17.19	unsat
