16.86/17.13	unsat
