19.00/19.04	unsat
