17.70/19.65	unsat
