16.86/17.25	unsat
