19.78/19.95	unsat
