16.63/17.25	unsat
