16.42/16.46	unsat
