17.47/19.86	unsat
