16.25/17.42	unsat
