19.26/19.83	unsat
