19.64/19.95	unsat
