19.00/19.20	unsat
