19.15/19.29	unsat
