16.86/17.00	unsat
