16.42/17.41	unsat
