19.05/19.14	unsat
