19.25/19.38	unsat
