16.96/17.24	unsat
