17.47/19.42	unsat
