16.63/17.19	unsat
