16.94/17.16	unsat
