16.96/17.09	unsat
