16.63/18.41	unsat
