16.93/17.03	unsat
