17.70/19.50	unsat
