17.35/17.44	unsat
