19.17/19.95	unsat
