16.96/17.02	unsat
