19.17/19.55	unsat
