17.36/19.95	unsat
