18.23/19.14	unsat
