16.86/16.91	unsat
