19.00/19.67	unsat
