17.70/19.79	unsat
