16.86/17.91	unsat
