16.96/17.01	unsat
