18.35/19.41	unsat
