17.39/17.42	unsat
