18.42/20.18	unsat
