19.13/20.95	unsat
